home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group01b.txt / 000189_icon-group-sender_Mon Dec 10 09:19:34 2001.msg < prev    next >
Internet Message Format  |  2002-01-03  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.11.1/8.11.1) id fBAGHmQ08451
  4.     for icon-group-addresses; Mon, 10 Dec 2001 09:17:48 -0700 (MST)
  5. Message-Id: <200112101617.fBAGHmQ08451@baskerville.CS.Arizona.EDU>
  6. From: espie@schutzenberger.liafa.jussieu.fr (Marc Espie)
  7. X-Newsgroups: comp.lang.icon
  8. Subject: PhD announce
  9. Date: Mon, 10 Dec 2001 15:51:49 +0000 (UTC)
  10. X-Complaints-To: newsmaster@jussieu.fr
  11. X-Newsreader: trn 4.0-test74 (May 26, 2000)
  12. Originator: espie@schutzenberger.liafa.jussieu.fr (Marc Espie)
  13. To: icon-group@cs.arizona.edu
  14. Errors-To: icon-group-errors@cs.arizona.edu
  15. Status: RO
  16. Content-Length: 1623
  17.  
  18. I'm going to defend my PhD in Paris, on the 18th december.
  19.  
  20. Everything is in french, the subject roughly translates to
  21. `On some combinatorial problems and implementation aspects'.
  22.  
  23. As you can see from the abstract, a large portion of this work is derived
  24. from using Icon for combinatorial works. I would like to thank all the 
  25. friends I've made in the Icon project over the years.
  26.  
  27. Abstract:
  28. This work first presents a combinatorial study of the Chinese monoid, a
  29. ternary monoid related to the plactic monoid and based on the rewritings 
  30. $cba\equiv bca\equiv cab$.  The tools that were developed for this study
  31. (Robinson-Schenstedt correspondence, computation of the order of specific
  32. classes) lead to a generic framework for combinatorial computations.
  33. Some lazy and dynamic evaluation techniques, based upon the notion of 
  34. generator, as exemplified by the Icon programming language, allow
  35. the required computations, while generalizing to other problems.
  36. For instance, checking a conjecture over polyzeta was achieved to a larger
  37. order than was previously known. In fact, those techniques are somewhat
  38. independent of the language, as long as one uses some specific apparatus
  39. to translate the generator paradigm into some other language.
  40. Finally, this work presents the classical index assignment problem,
  41. a classical problem in digital telecommunications. Some partial solution
  42. is attained through a new approach merging some heavy-weight numerical
  43. computations and a new approach to the model itself.
  44.  
  45. (the french manuscript can be retrieved from
  46. http://schutz.liafa.jussieu.fr/espie, if it by chance interests anyone).
  47.